81. ICT Innovations 2018: engineering and life sciences: 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018, Proceedings
Author: / edited by Slobodan Kalajdziski, Nevena Ackovska.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computational intelligence -- Congresses.,Information technology -- Congresses.,Telecommunication -- Congresses.,Telecommunication.,Computational intelligence.,Information technology.
82. Journees algorithmiques : 15-19 decembre 1975, Ecole normale superieure
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computational complexity,Congresses ، Algorithms
Classification :
QA
3
.
A78
Vol
.
38-39
83. LATIN 2018 :
Author: Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
Classification :
QA75
.
5
84. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
85. Logic programming and nonmonotonic reasoning :
Author: Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
86. Mathematical foundations of computer science 2013 :
Author: Krishnendu Chatterjee, Jirí Sgall, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
Classification :
QA76
.
9
.
M35
K757
9999
87. Mathematical foundations of computer science 2003 :
Author: Krzysztof Diks and Wojciech Rytter (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
88. Optimal algorithms : International Symposium, Varna, Bulgaria, May 29 - June 2, 1989 : Proceedings
Author: H. Djidjev, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Approximation theory,Congresses ، Mathematical optimization,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
401
89. Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Approximation theory-- Congresses,، Mathematical optimization-- Congresses,، Computational complexity-- Congresses
Classification :
QA
297
.
O66
1989
90. Parameterized and exact computation
Author: edited by Dániel Marx, Peter Rossmanith
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses,Computer algorithms, Congresses,Parameter estimation, Congresses
Classification :
QA276
.
8
.
I97
2011eb
91. Parameterized and exact computation : first International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
Author: Rod Downey, Michael Fellows, Frank Dehne )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parameter estimation,Congresses ، Computer algorithms,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
3162
92. Polytopes:
Author: edited by T. Bisztriczky, P. McMullen, R. Schneider, A. Ivić Weiss.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Polytopes -- Congresses.,Polytopes.
Classification :
QA691
.
E358
1994
93. Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
267
.
A27a
2002
94. Proceedings of the 33rd annual ACM Symposium on the Theory of Computing : Hersonissos, Crete, Greece, July 6-8, 2001
Author: Sponsored by SIGACT ]The ACM Special Interest Group for Algorithms and Computation Theory[, organized by the Computer Technology Institute
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2001
95. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
Author: sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2004
96. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
Author: Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2002
97. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computational complexity
Classification :
QA
267
.
A27
2001
98. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
Author: sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
Classification :
QA
267
.
7
.
S77
2000
99. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
100. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
Author: sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2010
